Syllabus Information

5.1. Methodological overview

See "Learning activities " and "Program".

More information will be provided on the first day of class.

5.2. Learning tasks

• Theoretical lectures.
• Practical lectures.
• Individual work.
• Personal study.
• Assessment activities.

5.3. Syllabus

5.4. Course planning and calendar

See the academic calendar of the University of Zaragoza (http://academico.unizar.es/calendario-academico/calendario) and the website of the Faculty of Philosophy and Arts (Schedule of classes: https://fyl.unizar.es/horario-de-clases#overlay-context=horario-de-clases; Examination schedule: https://fyl.unizar.es/calendario-de-examenes#overlay-context=)

More information will be provided on the first day of class.

5.5. Bibliography and recommended resources

ALCHOURRÓN, C., MENÉNDEZ, J.M. Y ORAYEN, R.: Lógica, Enciclopedia Iberoamericana de filosofía, vol. 7, Trotta 2005

BADESA, C., JANÉ, I. y JANSANA, R.: Elementos de lógica formal, Barcelona, Ariel, 1998

BOOLOS, S.G., BURGESS, J.P., y JEFFREY, R.C.: Computability and logic, Cambridge, Cambridge University Press, 2002

DEAÑO, A.: Introducción a la lógica formal. Madrid, Alianza Editorial, 1974

DEAÑO, A.: Las concepciones de la lógica, Marid, Taurus, 198

DÍEZ, J. A.: Iniciación a la lógica, Barcelona, Ariel, 2002

FALGUERA, J.L. y MARTÍNEZ VIDAL, C.: Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación. Madrid, Trotta, 1999

GARCÍA TREVIJANO, C., (3ª ed. 2002), El arte de la lógica, Madrid, Tecnos, 2002

GARRIDO, M., Lógica y lenguaje, Madrid, Tecnos, 1989

GARRIDO, M., Lógica simbólica, Madrid, Tecnos, 1995

HAACK, S., Filosofía de las lógicas, Madrid, Tecnos, 1982

HUGHES, G., y CRESSWELL, M., Introducción a la lógica modal, Madrid, Tecnos, 1990

HERMES, H., Introducción a la teoría de la computabilidad, Madrid, Tecnos

JANSANA, R., Una introducción a la lógica modal, Madrid, Tecnos, 1990

LIZ, M. y VÁZQUEZ, M.: Teoría intuitiva de conjuntos y lógica clásica de proposiciones. La Laguna, Secretariado de publicaciones de la Univ. de La Laguna, 1990

MOSTERÍN, J.: Lógica de primer orden,  Barcelona, Ariel, 1983

MOSTERÍN, J., Los lógicos, Madrid, Espasa Calpe

NAGEL, E., y NEWMAN, J.R., El teorema de Gödel, Madrid, Tecnos, 1994

OJEDA, T., PONTE, M. y VÁZQUEZ, M.: Ejercicios de lógica. La Laguna, Arte, 2004

PÉREZ SEDEÑO, E.: Ejercicios de Lógica. Madrid, Siglo XXI eds., 1991

PEÑA, L., Introducción a las lógicas no clásicas, México, UNAM, 1994

QUESADA, D.: La lógica y su filosofía. Introducción a la lógica, Barcanova, 1985

GARRIDO, M., VALDÉS, J.L., MOSTERÍN, J., GARCÍA SUÁREZ, A. y OTERO, C.P.: Lógica y lenguaje, Madrid, Tecnos, 1989

VEGA, L.: Lecturas de Lógica I y II, Madrid, UNED, 1980 y 1984

ZALABARDO, J.L.: Introducción a la teoría de la lógica, Madrid, Alianza, 2000